例句與造句

1. Recursion theory is also linked to second order arithmetic, a formal theory of natural numbers and sets of natural numbers.
2. Second-order PA, from the other hand, is essentially " more " then only theory of natural numbers.
3. The formalization of arithmetic ( the theory of natural numbers ) as an axiomatic theory started with Peirce in 1881 and continued with Richard Dedekind and Giuseppe Peano in 1888.
4. In " A decision method for elementary algebra and geometry ", Tarski showed, by the method of quantifier elimination, that the first-order theory of the real numbers under addition and multiplication is decidable . ( While this result appeared only in 1948, it dates back to 1930 and was mentioned in Tarski ( 1931 ) . ) This is a very curious result, because Alonzo Church proved in 1936 that Peano arithmetic ( the theory of natural numbers ) is " not " decidable.
5. It's difficult to find theory of natural numbers in a sentence. 用theory of natural numbers造句挺難的